addition property

加法性质